AbstractResearchGroup

From Abstract wiki

(Difference between revisions)
Jump to: navigation, search
(Concurrency and Parallelism)
Current revision (21:57, 11 October 2018) (view source)
(Useful Links (Auth Required))
 
(5 intermediate revisions not shown.)
Line 21: Line 21:
='''ABSTRACT''' @ CMU=
='''ABSTRACT''' @ CMU=
-
The '''ABSTRACT''' research group at CMU is the research group of [http://fishing.hiphop Brandon Lucia]. Our group does research at the intersection of computer architecture, computer systems, and programming languages.  Our research focuses on improving the programmability, reliability, and efficiency of computing devices and systems. Our work cuts across the layers of the system stack, from the microarchitecture to the application, often touching on everything in between.
+
This is the wiki landing page for the abstract research group at the CMU ECE.  Our group's homepage is [http://abstract.ece.cmu.edu here]
 +
==Useful Links (Auth Required)==
 +
[[ReadingList]]
-
==Research==
+
https://wiki.ece.cmu.edu/abstract/index.php/Capybara-Notes
-
 
+
-
Our group does research into computer systems.  We currently have a focus on '''(1) Intermittent and Energy-harvesting computing''', '''(2) Concurrency, Parallelism, Consistency, and Approximation'''.
+
-
 
+
-
===[http://wiki.ece.cmu.edu/abstract/index.php/IntermittentSystems Intermittent and Energy-harvesting Computing Devices]===
+
-
We are working to define the system stack for intermittent computing devices, like ones that harvest energy from their environment.  Our goal is to make these devices programmable, reliable, low-power, and robust to common-case power failures. Making these devices useful requires us to rethink the whole system stack to deal with complexity and reliability, from programming abstractions tolerant of interruptions, down to super-energy-efficient circuits we use to implement microarchitectural features tolerant of byzantine failures.
+
-
 
+
-
[http://wiki.ece.cmu.edu/abstract/ An Energy-interference-free Hardware/Software Debugger for Intermittent Energy-harvesting Systems]
+
-
''Alexei Colin, Graham Harvey, Brandon Lucia, Alanson Sample'' '''ASPLOS 2016'''
+
-
 
+
-
[http://dl.acm.org/citation.cfm?id=2830695 Energy-interference-free System and Toolchain Support for Energy-harvesting Devices]
+
-
''Alexei Colin, Alanson Sample, Brandon Lucia'' '''CASES 2015 (short paper)'''
+
-
 
+
-
[http://brandonlucia.com/pubs/dino_final_pldi.pdf A Simpler, Safer Programming and Execution Model for Intermittent Systems] 
+
-
''Brandon Lucia, Benjamin Ransford'' '''PLDI 2015'''
+
-
 
+
-
===Concurrency and Parallelism===
+
-
We are developing software tools & techniques and hardware & architectural features to make concurrent and parallel computer systems correct, reliable, and efficient. We research new parallel computer architectures that make systems safer and make programming easier, hardware-software solutions that automate debugging, and architectures, compilers, and runtimes that avoid failures in broken programs. An especially exciting topic in this area is approximate computing, which trades off correctness for increased performance and programmability.  We are investigating all of these topics in emerging large-scale homogeneous and heterogeneous systems.  Our work leverages algorithmic and execution-level approximation, statistical inference, symbolic execution, and dynamic analysis in novel ways to make systems behave better.
+
-
 
+
-
[http://wiki.ece.cmu.edu/abstract/ Production-guided Concurrency Debugging]
+
-
''Nuno Machado (IST), Brandon Lucia, Luis Rodrigues (IST)'' '''PPoPP 2016'''
+
-
 
+
-
[http://brandonlucia.com/pubs/valor-oopsla-2015.pdf Valor: Efficient, Software-Only Region Conflict Exceptions]
+
-
''Swarnendu Biswas (OSU), Minjia Zhang (OSU), Michael D. Bond (OSU), Brandon Lucia''
+
-
'''OOPSLA 2015''', '''OOPSLA'15 Distinguished Paper Award''', '''OOPSLA'15 Distinguished Artifact Award'''
+
-
 
+
-
[http://brandonlucia.com/pubs/symbiosis_final_pldi.pdf Concurrency Debugging with Differential Schedule Projections]
+
-
''Nuno Machado (IST), Luis Rodrigues (IST), Brandon Lucia'' '''PLDI 2015'''
+
-
 
+
-
[http://brandonlucia.com/pubs/approx2014.pdf Systems Should Automatically Specialize Code and Data]
+
-
''Brandon Lucia and Todd Mytkowicz (MSR)'' '''Approx 2014'''
+
-
 
+
-
==People==
+
-
[[Image:Lab_Photo.png|640x160px|Lab Photo]]
+
-
 
+
-
'''Lab Squad (L to R): Vignesh, Dhruva, Brandon, Alanson (DRP), Alexei, Preeti'''
+
-
 
+
-
===Faculty===
+
-
[http://fishing.hiphop Brandon Lucia]
+
-
 
+
-
===PhD Students===
+
-
[http://www.alexeicolin.com Alexei Colin]
+
-
 
+
-
[http://www.gsd.inesc-id.pt/~nmachado/Nuno_Machados_Homepage/Home.html Nuno Machado] (summer 2015 Visiting Scholar, from IST Lisboa)
+
-
 
+
-
Vignesh Balaji
+
-
 
+
-
===Masters Students===
+
-
Dhruva Tirumala
+
-
 
+
-
Preeti Upendra Murthy
+
-
 
+
-
===Undergraduates===
+
-
Marie Bremner
+
-
 
+
-
Mark McElwaine (now a junior at CMU)
+
-
 
+
-
Graham Harvey (now an Imagineer @ Disney)
+
-
 
+
-
===High School Interns===
+
-
Savi Medlang (Now a freshman at Wake Forest College)
+
-
 
+
-
==External Collaborators==
+
-
 
+
-
[http://www.alansonsample.com/ Alanson Sample (Disney Research Pittsburgh)]
+
-
 
+
-
[http://sites.google.com/site/gillespokam/home Gilles Pokam (Intel Labs)]
+
-
 
+
-
[http://www.cis.upenn.edu/~devietti/ Joe Devietti (University of Pennsylvania)]
+
-
 
+
-
[http://web.cse.ohio-state.edu/~mikebond/ Mike Bond (The Ohio State University)]
+

Current revision

de koonig - excavation barnett newman - dionysius Mark Rothko Clyfford Still - Untitled Jackson Pollack - Full Fathom 5 Hans Hoffman - Equinox



ABSTRACT @ CMU

This is the wiki landing page for the abstract research group at the CMU ECE. Our group's homepage is here

Useful Links (Auth Required)

ReadingList

https://wiki.ece.cmu.edu/abstract/index.php/Capybara-Notes

Personal tools